Quantitative Reasoning: Reflections on Solving Real-World Problems
نویسندگان
چکیده
منابع مشابه
Constrained Optimization Approaches to Solving Real World School Choice Problems
Matching markets have been the subject of intensive mechanism design efforts over the past 15 years with school choice being a frequent application, which has led Boston and other large cities employ centralized matching procedures to allocate students to public schools. One common recommendation of market designers is to build a school assignment mechanism in two steps. First, given the school...
متن کاملA Hybrid Approach for Solving Real-World Nurse Rostering Problems
Nurse rostering is the process of creating a plan for nurse working hours over a given time horizon. This problem, most variants of which are NP-hard, has been studied extensively for many years. Still, practical nurse rostering is mostly done manually, often by highly qualified health care personnel. This underlines the need to address the challenges of realistic, applied nurse rostering, and ...
متن کاملQBF Reasoning on Real-World Instances
During the recent years, the development of tools for deciding Quantified Boolean Formulas (QBFs) has been accompanied by a steady supply of real-world instances, i.e., QBFs originated by translations from application domains. Instances of this kind showed to be challenging for current state-of-the-art QBF solvers, while the ability to deal effectively with them is necessary to foster adoption ...
متن کاملSolving Overconstrained Temporal Reasoning Problems
Representing and reasoning with temporal information is an essential part of many tasks in AI such as scheduling planning and nat ural language processing Two in uential frameworks for representing temporal information are interval algebra and point algebra Given a knowledge base consisting of temporal relations the main reasoning problem is to determine whether this knowledge base is satis abl...
متن کاملReal-World Reasoning with OWL
This work is motivated by experiences in the course of developing an ontology-based application within a real-world setting. We found out that current benchmarks are not well suited to provide helpful hints for users who seek for an appropriate reasoning system able to deal with expressive terminological descriptions, large volumes of assertional data, and frequent updates in a sound and comple...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Cukurova University Faculty of Education Journal
سال: 2018
ISSN: 1302-9967
DOI: 10.14812/cuefd.398406